$\forall$$g$, $h$:GrpSig, $f$:MonHom($g$,$h$), $u$, $v$:$\mid$$g$$\mid$. $f$($u$ $\ast$ $v$) = (($f$($u$)) $\ast$ ($f$($v$))) $\in$ $\mid$$h$$\mid$